Lab for Automated Reasoning and Analysis (EPFL)

英文缩写：LARA

英文全称：Lab for Automated Reasoning and Analysis (EPFL)

中文释义：自动化推理与分析实验室（EPFL）

中文拼音：zì dòng huà tuī lǐ yǔ fēn xī shí yàn shì

所属分类：Academic & Science